one place predicate calculus
一元谓词演算
热门查询
- enoch n. 伊诺克（男子名）
- brand name n. 品牌名称 [网络] 商标名称；牌子；名牌
- wraparound n. 裹身式衣裤 adj. 概括的；包着的；呈弧形的；全景的
- rubbery adj. 橡胶似的；有弹力的；坚韧的
- resettle vt. 使重新定居 vi. 重新定居
- telegraphy n. 电信；电报学
- Eurodisney 歐洲迪士尼
- SNR abbr. 信噪比（Signal Noise Ratio）；航海研究学会（Society for Nautical Reseach）
- suspend vt. 延缓，推迟；使暂停；使悬浮 vi. 悬浮；禁赛
- Reeves n. 礁( reef的名词复数 ); 暗礁; 缩帆部; 帆的可收缩部 v. 穿（绳索），穿过( reeve的第三人称单数 )
- grip n. 紧握；柄；支配；握拍方式；拍柄绷带 vt. 紧握；夹紧 vi. 抓住 n. (Grip)人名；(英、瑞典)格里普
- maximal adj. 最高的，最大的；最全面的
- slapping n. 拍击；故障声音 v. 拍打（slap的ing形式） adj. 非常快的；非常大的；极好的 adv. 极快地；非常地
- proficiently adv. 精通地
- desecrated vt. 亵渎；污辱；把（神物）供俗用
- cavendish n. （一种压成饼状的）板烟，烟草饼
- nora abbr. National Osteoporosis Risk Assessment 全国骨质疏松风险评估; nonoverlapping redundant array 无交叠冗余阵列
- falsely adv. 错误地；虚伪地；不实地
- batho abbr. bathometer 水深测量器
- surfactant n. 表面活性剂 adj. 表面活性剂的
